Buy Used and New Aaron R . Bradley Books

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783540741121

Format: Hardcover (366 pages)
Publisher: Springer
Published: 03 Sep 2007

Save for later

Programming for Engineers: A Foundational Approach to Learning C and Matlab

by Aaron R. Bradley

ISBN 13: 9783642233029

Format: Hardcover (235 pages)
Publisher: Springer
Published: 26 Oct 2011

Save for later